How statically-typed functional programmers write code

How working statically-typed functional programmers write code is largely understudied. And yet, a better understanding of developer practices could pave the way for design more useful and usable tooling, ergonomic languages, effective on-ramps into programming communities. The goal this work to address knowledge gap: understand high-level authoring patterns that employ. We conducted grounded theory analysis 30 sessions practicing programmers, 15 which also included semi-structured interview. we developed gives insight how specific affordances affect domain modeling, type construction, focusing techniques, exploratory reasoning strategies, expressions intent. set quantitative lab experiments validate our findings, including often iterate between editing types expressions, they run their compiler on even when know it will not successfully compile, make textual program edits reliably signal future intend make. Lastly, outline implications findings language tool design. success approach in revealing authorship suggests same methodology be used study other understudied programmer populations.